Formal ontology and CAD integration with macro parametric approach
نویسندگان
چکیده
منابع مشابه
?Logic and Formal Ontology: Is the Final Formal Ontology Possible
Musa Akrami AbstractMany philosophers and logicians have contemplated the relationship between ontology and logic. The author of this paper, working within a Bolzanoan-Husserlian tradition of studying both ontology and logic, considers ontology as the science of the most general features of beings and the most general relations among them. He considers logic as the science concernin...
متن کاملCAD/CAPP Integration using Feature Ontology
In a collaborative computer-supported engineering environment, the interoperation of various applications will need a representation that goes beyond the current geometry-based representation, which is inadequate for capturing semantic information. The primary purpose of this study is to discuss a semantically based information exchange protocol that will facilitate seamless interoperability am...
متن کاملOntology and Formal Semantics - Integration Overdue
In this note we suggest that difficulties encountered in natural language semantics are, for the most part, due to the use of mere symbol manipulation systems that are devoid of any content. In such systems, where there is hardly any link with our commonsense view of the world, and it is quite difficult to envision how one can formally account for the considerable amount of content that is ofte...
متن کاملFormal Ontology for Biomedical Knowledge Systems Integration
The central hypothesis of the collaboration between Language and Computing (L&C) and the Institute for Formal Ontology and Medical Information Science (IFOMIS) is that the methodology and conceptual rigor of a philosophically inspired formal ontology will greatly benefit software application ontologies. To this end LinKBase®, L&C’s ontology, which is designed to integrate and reason across vari...
متن کاملFormal Ontology Engineering in the DOGMA Approach
This paper presents a specifically database-inspired approach (called DOGMA) for engineering formal ontologies, implemented as shared resources used to express agreed formal semantics for a real world domain. We address several related key issues, such as knowledge reusability and shareability, scalability of the ontology engineering process and methodology, efficient and effective ontology sto...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Computer-Aided Design and Applications
سال: 2017
ISSN: 1686-4360
DOI: 10.1080/16864360.2017.1308078